Nuprl Definition : es-interface-predicate
11,40
postcript
pdf
{
I
}(
e
) ==
(
e
I
)
latex
Definitions
x
.
A
(
x
)
,
b
,
e
X
FDL editor aliases
es-interface-predicate
origin
(e 
I) (e I) 
x.A(x)b X